Functions and mappings - PDFSEARCH.IO - Document Search Engine

Functions and mappings
Results: 2485

#	Item
741	Microsoft Word - R Reference Card 2.0.doc Add to Reading List Source URL: ftp.yz.yamagata-u.ac.jp Language: English - Date: 2013-01-05 06:05:12 Elementary mathematics Functions and mappings Linear algebra Analytic geometry Function Normal distribution Vector space Conditioning Inverse function Mathematics Mathematical analysis Algebra
742	<4D6963726F736F667420576F7264202D2090948A7783568389836F835889FC92F994C581698970816A2E646F63> Add to Reading List Source URL: www2.jasso.go.jp Language: English - Date: 2014-03-31 03:06:49 Analytic functions Trigonometry Functions and mappings Trigonometric functions Complex number Integral Vector space Calculus Derivative Mathematics Mathematical analysis Algebra
743	Infinite-horizon choice functions∗ Geir B. Asheim Department of Economics, University of Oslo P.O. Box 1095 Blindern, 0317 Oslo, Norway FAX: (+e-mail: Add to Reading List Source URL: cis.ier.hit-u.ac.jp Language: English - Date: 2014-07-01 09:05:10 Calculus Continuous function Function Bijection Social Choice and Individual Values Μ operator Mathematics Mathematical analysis Functions and mappings
744	A Formalization of Programs in First-Order Logic with a Discrete Linear Order∗ Fangzhen Lin () Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, H Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2014-03-07 00:56:20 Logic in computer science Functions and mappings Formal methods Function First-order logic Predicate transformer semantics FO Quasigroup Dynamic logic Mathematics Mathematical logic Logic
745	Scalable Error Detection using Boolean Satisfiability Yichen Xie∗ Alex Aiken∗ Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-12-14 15:17:59 Functions and mappings Function Pointer Objective-C C Entailment Stack Logic Software engineering Computing
746	The WAC Journal, Vol. 14: AugustWriting to Learn in Mathematics Add to Reading List Source URL: wac.colostate.edu Language: English - Date: 2011-01-05 10:07:33 Functions and mappings Analytic geometry Asymptote Function Calculus Polynomial Logarithm Graph of a function Exponential function Mathematics Mathematical analysis Special functions
747	ALGEBRA I (COMMON CORE) The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION ALGEBRA I (Common Core) Wednesday, August 13, 2014 — 8:30 to 11:30 a.m., only Add to Reading List Source URL: www.jmap.org Language: English - Date: 2015-01-24 23:22:54 Differential calculus Mathematical analysis Mathematics Functions and mappings Function
748	American Computer Science LeagueIntermediate Division Add to Reading List Source URL: www.acsl.org Language: English - Date: 2011-07-30 11:53:50 Computing Software Mathematical notation Functions and mappings Stack American Computer Science League Postfix
749	Sound, Complete and Scalable Path-Sensitive Analysis ∗ Isil Dillig Thomas Dillig Alex Aiken Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2008-04-24 14:23:16 Model theory Functions and mappings First-order logic Predicate logic Interpretation Function Normal distribution Mathematical logic Logic Mathematics
750	A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION∗ JOHN McCARTHY 1961–1963 [This 1963 paper was included in Computer Programming and Formal Systems, edited by P. Braffort and D. Hirshberg and published by North-Hollan Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:08:23 Theoretical computer science Theory of computation Functions and mappings Function Computable function Logical connective Computability Indeterminate form Universal quantification Computability theory Mathematics Mathematical logic

UPDATE